New Developments in Environment Machines

New Developments in Environment Machines

In this paper we discuss and compare abstract machines for the lambda-calculus, implementing various evaluation strategies. Starting from the well-known Categorical abstract machine (CAM) and Krivine’s abstract machine (KAM), we develop two families of machines that differ in the way they treat environments. The first family is inspired by the work on closed reduction strategies, whereas the se...

Developments in weaving machines

The major developments in weaving machinery are highlighted. The maximum weft insertion rates achieved by the various shullleless weaving systems along with their application potential are described. Microprocessors have been recognized as an inseparable part of all modem weaving machines. The increased importance of versatility over productivity is highlighted keeping in view the present trend...

Some New Developments in Small Area Estimation

Small area estimation has received a lot of attention in recent years due to growing demand for reliable small area statistics. Traditional area-specific estimators may not provide adequate precision because sample sizes in small areas are seldom large enough. This makes it necessary to employ indirect estimators based on linking models. Basic area level and unit level models have been extensiv...

New developments on the cheminformatics open workflow environment CDK-Taverna

BACKGROUND The computational processing and analysis of small molecules is at heart of cheminformatics and structural bioinformatics and their application in e.g. metabolomics or drug discovery. Pipelining or workflow tools allow for the Lego™-like, graphical assembly of I/O modules and algorithms into a complex workflow which can be easily deployed, modified and tested without the hassle of im...

Cellular automata machines - a new environment for modeling